0 / 60 seg.

There's the reasoner in arguments as proofs.