[Ciao-users] op/3 Question