An experiment in formula linking as an interaction method