A simple logic