As above to suit various Z3 models.