initial commit of syntax dichot impl agreement