Logical Hygiene, Foundations, and Abstractions: Diversity among Aspects and Options