+ opamdoc for the rule all