0/0 show proofs show implicits [source code]