[rm/evict,ud/replace]
Adding new⊤ to help inference