paying notes stack age
proof reads math like code base proof
___