Simple Logical Problems