. "The bop-counting function is a function defined by Harvey Friedman, arising in study of binary operations on structures."@en . "The bop-counting function is a function defined by Harvey Friedman, arising in study of binary operations on structures."@en . "Bop-counting function"@en .