Formal for