Stock Prices: A Problem in Verification