A bit about logic

 

v20240901