Lifted Logic Matt 9.0