ref54 pointed out by Sheng