80: Another identity