OneEyedMan
exist
,
proof
,
prove