Some partial results, but something is wrong with assignments