use my-cond/defs etc.