Lifted Logic Phelps 2/8/23