prop formals