A simple logic test