:: [Bool] -> Bool package:orthotope