an Entity in Data Space: 134.155.108.49:8890
The bop-counting function is a function defined by Harvey Friedman, arising in study of binary operations on structures.