We shoulod implement juxt