( extra representation ):