A talk deriving matrix addition and multiplication from semantic specification