Tax Court defines gross receipts for the research credit