Lifted Logic Pittsburgh mock 1