discrete
library
