In Support of Research in Deductive Systems