clockhack - Revision 67: /proofs
..
APL19-AR-06644.pdf