this is the answer. the nips are axioms, your apps are theorums. prove some useful stuff.