Logic and controlΒΆ