Convert to Mojo4.