BK condition is not satisifed

See