?? so ... let's try checking whether top perversity is vacuous ... ???? ....

real-dimension("intersection(i-chain x,stratum m-k)") <= i - k + top-perversity(k)

?? top-perversity(k) = k-2 ???

i - k + top-perversity(k) = i - 2 ?????? ..... ???????? .......

?? domain of perversity starts at 2 .... ???? no constraint on how i-chain intersects the two highest stratums ???? ....

?? m = 2 .... ???

0-chains and 1-chains must completely avoid the 0 stratum ???? ...... ???? ...

?? ....