I still can’t prove whether the comparison operators in Periodical are correct.