Updated some logical properties, also restored the code from comment #18. Att...