got rid of decidable equality