Check for false explicitly
Move nested concept check out of type check block