checker2: notation