Comment by catlifeonmars

That makes sense. Naively, one would expect this to be the type of reasoning that it should “figure out” on its own.