Verifying gross substitutability