@218129 furthering our logic (symbolic) discussion ...