Made is-speicalization-completed? predicate