give sophi attention

0

check a proof code