Input rewrite for updated formastic