Lifted Logic mock.1