add examples from functionally solving problems