defined a few libraries