Mechanically correct representation

Plus