Wrapped user proof commands in a newtype.