Shut up reasoner. New tests. Travis support.