Lifted Logic Mock 1.0