FKJ | Tadow (Extended Version)