Left_lifting_property loading ...