Removed an unsound comparison