EDN: booleans