I think travis skips satisfied by default... Test turning that off