Problem G is not implemented and cannot be automatically verified.