introspect the state of a reducible