I think you are latching onto terms that were not declared. This is covered in the Appeals court case.