formal option