define pyk of 1rule from
define tex of 1rule from
define statement of 1rule from
define proof of 1rule from
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