Institutions (Forcing the reset)