Trying the Bove-Capretta predicate for our step