proof stack proof proof less proof✕ ___