Sophie
-- -*- M2-comint -*- {* hash: -1816206614 *} i1 : {a,b,c} #? 2 o1 = true i2 : {a,b,c} #? 22 o2 = false i3 :