I'd say ,given the nature and flow of reverse mathematics, conclusions are necessary but insufficient for premises. The erudite/formal lingo aside. Reverse mat

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.