checking with notation