fun Ġbox () Ġ: ĠString Ġ{ ĊĠ Ġreturn Ġif ( true . and ( true )) Ġ" OK " Ġelse Ġ" fail " Ċ } Ċ Ċ fun ĠBoolean . and ( other Ġ: ĠBoolean ) Ġ: ĠBoolean { ĊĠ Ġif ( other Ġ== Ġtrue ) Ġ Ġ{ ĊĠĠĠ Ġif ( this Ġ== Ġtrue ){ ĊĠĠĠĠĠ Ġreturn Ġtrue Ġ; ĊĠĠĠĠ Ġ} ĊĠĠĠ Ġelse { ĊĠĠĠĠĠ Ġreturn Ġfalse ; ĊĠĠĠ Ġ} ĊĠ Ġ} ĊĠ Ġelse Ġ{ ĊĠĠĠ Ġreturn Ġfalse ; ĊĠ Ġ} Ċ }