add: check for nil formals