Robuta

https://en.wikipedia.org/wiki/Kleene's_T_predicate Kleene's T predicate - Wikipedia kleene s t predicatewikipedia