Lifted Logic 8.4