proof stack less in ones mind✕ ___