Finiteness and the falsification by fellow traveler property
  We prove that groups enjoying the falsification by fellow traveler property are of type $F_3$, and have at most an exponential second order isoperimetric function. 
Murray J Elder