Relax formalisms, and define garbage