first syntorial example