value | True = ()