Viftediagram for Agda Stoffersen

%