Differential resolver