let forward_inv = !forward_inv