https://mathexample.com/en/fai_gen/logics/variant_201413300