This paper describes a purely functional library for computing level-p-complexity of Boolean
functions and applies it to two-level iterated majority. Boolean functions are simply functions …