La relación formula_20 es "reflexiva" siempre que