AMRS Logic Stuff