Ninurta Procedure

Predicted Axiom