Added theorem functionality to reasonDelagation, eliminated reasonReader, changed number of args needed for theorem command