Using Logical Reasoning