Title: Equations II. Sets & Logic