Lifted Logic First Mock