- singletonSet done
- union done
- intersect done
- diff done
- filter done
- forall done
- exists done
- map todo