guide to logic statements