△-workshop on logic: