Independent Double Check Definition