 ($amuwvdd ‚Üí $amuwvdd)))(($eybvwn : ($amuwvdd ‚Üí ($amuwvdd ‚Üí $amuwvdd))) ‚Ü¶ ($eybwui : ‚àè($eybvwo : $amuwvdd){ ‚àè($eybvwp : $amuwvdd){ ‚àè($eybvwq : $amuwvdd){ eq($amuwvdd)($eybvwn($eybvwn($eybvwo)($eybvwp))($eybvwq))($eybvwn($eybvwo)($eybvwn($eybvwp)($eybvwq))) } } }) ‚Ü¶ ($eybwuj : $amuwvdd) ‚Ü¶ ($eydpnp : ‚àè($eybwuk : $amuwvdd){ eq($amuwvdd)($eybvwn($eybwuj)($eybwuk))($eybwuk) }) ‚Ü¶ ($eyfigv : ‚àè($eydpnq : $amuwvdd){ eq($amuwvdd)($eybvwn($eydpnq)