[math-fun] Properties of 2018