Arithmetical Institutions: Containing A door