Sets, logic & numbers