proofs-case-environment