Thanks Phil! I've been meaning to get to your Z3 tutorials soon, they rock too! See ya around! Also, I think you can totally tell that this is part of my bra

Thanks Phil! I've been meaning to get to your Z3 tutorials soon, they rock too! See ya around! Also, I think you can totally tell that this is part of my brain-dump that's been pouring out to the #formal-methods channel on the Julia Zulip.