instruction: Find the name of companies whose revenue is smaller than the revenue of all companies based in Austin.
response: SELECT name FROM manufacturers WHERE revenue < (SELECT MIN(revenue) FROM manufacturers WHERE headquarter = 'Austin')