P
Initializing...
Is D1Tuple — tail irregular of lt four · Prove2Me