checking infix logic: correct? - not confirmed