Pandi's Reasoning Terminal