Lifted Logic Mock_2/11