Lifted Logic Combine Mock