2.7.2 Simple Logic Check Examples