proof stack less less weight✕ ___