Are 2018 property taxes paid in 2017 deductible?

IRS: 2018 property taxes deductible if assessed and paid in 2017 – Says the headlines, but you really need to look closer. Here are 2 examples that the IRS gives and the 2nd one says the property taxes are not deductible
 
The following examples illustrate these points.
Example 1: Assume County A assesses property tax on July 1, 2017 for the period July 1, 2017 – June 30, 2018. On July 31, 2017, County A sends notices to residents notifying them of the assessment and billing the property tax in two installments with the first installment due Sept. 30, 2017 and the second installment due Jan. 31, 2018.&n bsp; Assuming taxpayer has paid the first installment in 2017, the taxpayer may choose to pay the second installment on Dec. 31, 2017, and may claim a deduction for this prepayment on the taxpayer’s 2017 return.
Example 2: County B also assesses and bills its residents for property taxes on July 1, 2017, for the period July 1, 2017 – June 30, 2018. County B intends to make the usual assessment in July 2018 for the period July 1, 2018 – June 30, 2019. However, because county residents wish to prepay their 2018-2019 property taxes in 2017, County B has revised its computer systems to accept prepayment of property taxes for the 2018-2019 property tax year. Taxpayers who prepay their 2018-2019 property taxes in 2017 will not be allowed to deduct the prepayment on their federal tax returns because the county will not assess the property tax for the 2018-2019 tax year until July 1, 2018.