oh and that nice library