more about logic in mind