Do aesthetic reasons have normative authority over us? Could there be anything like an ‘ought’ or obligation? I argue that are no obligations. We to act certain ways regarding various objects – most notably, attend and appreciate those objects. But, argue, these never amount duties. This is because merely evaluative, not deontic. They can only entice us invite they compel us. Beauty gives goods...

We investigate the power of non-determinism in purely functional programming languages with higher-order types. Specifically, we set out to characterise the hierarchy NP ( NEXP ( NEXP ( · · · ( NEXP ( · · · solely in terms of higher-typed, purely functional programs. Although the work is incomplete, we present an initial approach using cons-free programs with immutable functions.