<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Another minor comment on the article file format specification: shouldn't there be a constraint in defineTypeOp requiring the formula phi to have no free term variables?<div><br></div><div>Regards,</div><div><br></div><div>Rob.</div></body></html>