Dynamic reasoning without variables / Jan van Eijck