@HTHR it didn't even GIVE me the truth value for the inequality