Representation and implementation