[Koshkin]

Problem is, unlike conclusions, premises are usually sufficient but not necessary.

[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.