notations: plain functions