https://wiki.kif.rocks/wiki/Was_ist_die_KIF