implement known-from box - closes #608