Stunning 18: Agda Y demonstrating perfect form