tried to implement notation for the main thread