synthesizes liftable and unliftable
wip