Lifted Logic Mia 2/6 7