Understanding Proofs and Constructions Unit Test 96%

conclusion

D

A

reflexive

AFB