A Logical Solution