proof less is is less✕ ___