Logic applied