If we represent logic with subway schemes

 

v20240901