Lifted Logic John’s First Beta Mock