discretefirstorder
