Lifted Logic 2/7/23