[$1=$2] ($3)