preconcurred
not defined yet