Added proc.formula to avoid conflict with old proc.form