The Institution is a Proposition