.rC| = Done
Your proof wasn't working but I found something that will suffice: http://585437.xobor.com/t12f19-vs.html#msg30
Your proof wasn't working but I found something that will suffice: http://585437.xobor.com/t12f19-vs.html#msg30