Lifted Logic Post Combine Mock