You know you work with devs when:
1. they answer in code with variables
2. they answer with a link to GitHub
3. they answer with a link to Gitlab
Discussion
(∃s ∃x [
Coworker(x) ∧
GivesAnswer(x, s) ∧
(CodeWithVariables(s) ∨ GitHubLink(s) ∨ GitLabLink(s))
]) → ∃y (Coworker(y) ∧ Developer(y))