A premise is a type of shell that functions exactly like a Subproof, except that it always marks itself as a given environment.