I have assumed that it is already included in revenue. Otherwise they should have classified it as an unrecognised contingent receivable.