Raghotham, S. Loose Nominals. Proceedings of the AC 2024, 365-370.