hardcoded printouts, formalList in process