Lifted Logic Mock 1