https://dejavuhyo.github.io/posts/class-expression-by-attribute-constraint/