The universality required for demonstration is not the universality acquired through abstraction (sa...