update: reformulation