Nice! Congrats on proving them. Do you know what line they are from?