formal - passing formal passing