define pyk of 1rule to
define tex of 1rule to
define statement of 1rule to
define proof of 1rule to
The predefined "tex" aspect
The user defined "the statement aspect" aspect
The user defined "the proof aspect" aspect
GRD-2006-09-15.UTC:09:33:20.992497
=
MJD-53993.TAI:09:33:53.992497
=
LGT-4665029633992497e-6