renames: cond->, as->, some->