first prototype for first-order terms