Term: badsol
Example: badsol knows how to fix the kernel problem
Definition: n