adding a quick construction notation for Fin.