out of coagulation(spartan)

P
ProvingUnique