\input amstex \operatorname{mod} p