Switch back to abstract values