lifted constants