Viftediagram for Agda Nielsen

%