not always, sometimes the condition is just "these are solvable and these are not", as is used in lok.
