binary expression execution draft