formal rules