`of` `Of` \in`l4 \in!!` \in` difference from above (does |)