onto fine-grained proximity test