demo: use infix operators