- Verified first-order remapping