sS renderBoolMap(Map<A, Bool> map) {
  ret joinWithComma(concatLists(
    keysWithValue(true, map),
    prependAll("not ", keysWithValue(false, map))));
}