Some refinement on nonblocking