proof stack less less stack wise✕ ___