all(map(list, true), # == #)
