New: formalwatch