Tagged prime-continuous