Logical ideas. [Paige]