Just some notation
more notation