It is very important that the apparent logical relations ⌵ , ⊃ etc. need brackets, dots etc., i.e. have “ranges”; which by itself shews they are not relations. It This fact has been overlooked, because it is so universal – the very thing which makes it so important.