[ukj]

I'd say ,given the nature and flow of reverse mathematics, conclusions are necessary but insufficient for premises.

The erudite/formal lingo aside. Reverse mathematics is a nice metaphor for how justification works in practice.