nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqs5arew84aktld949hmunlrnvt0cs7d5zvrkvv9wg0mfnnmh46lnqsmfr3t
I think that
(given (((isnt x null?))) something-something)
naturally corresponds to "given that x isn't null" in English, and
(given ((x 5)) blah)
could be read as "given x to be ...