Stock Prices: A Problem in Verification · Study