uh...
proof
,
statements