abstract universals