 In the actual world, however, the round square is neither round nor square, since roundness and squareness are “existence-entailing properties”, i.e., “\(b\) is round/square” entails “\(b\) exists”. Therefore, even if in the actual world (and in all other possible worlds) the law of contradiction holds, the round square does not infringe this law, since in these worlds the round square is neither round nor not round.