Successful elaboration of abstractions results in annotation with the `against` type.
Successful elaboration of abstractions results in annotation with the `against` type.

antitypical/Manifold,antitypical/Manifold