loose reasoning
scala subset
logo