The logic of cellular operators

 

v20240901