Every index lookup corresponds to one dimension, right? So if you're saying that function has signature "dirty(a, b, c) -> bool". But if you don't know how many bits of information a, b or c has, how does it matter?