formalized rules