Lifted Logic Colts#3