added implications