#formalcheck