Text this: Analysis and synthesis of logics :