GNX Proof Server OK