Text this: Reasoning in Boolean Networks :