remove seqc, now redundant since it is in core.logic