formation rule