compatible pair with a fixed point structure