Motivation example for smart unknowns