proof less comes less stack age✕ ___