File:Kleene_fixpoint_svg.svg loading ...