implies_(=>)