Checking GMP -> ok