Lifted Logic 03102023 #2