I can provide proofs if needed, Very interested in the library available here. If you can help me out thatd be greatly appreciated