rule checking output
debugging rules