Lifted Logic 02-20-2023