[tXt] deductive reasoning

Printable View