add note from Dan re: least/canonical solutions