FAG Proof offset