corollary: coding is solved, bugs are not solved