Adding the correct expansion rule