I don't see any logic that enforces this statement.