©1992-2000 Colin Allen. Reproduction by any means strictly prohibited.
P |- Q→P
T
rue
C
onsequent