reqproof-1-8