detect the case where we've simply not been able to satisfy our assumptions