proof or GTFO ------------------------------------->
proof or GTFO ------------------------------------->