On the construction of simple first-order formulae without recursive models