control axioms A (part 2)

 

v20240901