asdf

changed normalize() and specialize() to be generalized. added boolean isSpecialized