Coston

To be, is to be logical and computable.