Natural resource-based projects represent an important sector in Canada’s economy, where the energy, mining, and forestry industries accounted for 17% of gross domestic product 2018 (Natural Resources Canada, 2019). Many are located on or near Indigenous lands, disproportionately impacting peoples (Gibson et al., 2017). The negative environmental impacts well documented (Koutouki 2018; Westman ...

In a study of cervical injury in New Zealand rugby football in the years 1973 to 1978 inclusive, 54 cases of injury were identified of which five were fatal. There is no evidence that the incidence of these injuries is increasing. Incomplete figures for the season of 1979/80 include two deaths and 14 cases of permanent cord compression or temporary quadriplegia. The scrum is confirmed as a dang...

CRISPR-Cas loci encode for an adaptive immune system in prokaryotes that provides defense against viruses (1) and plasmids (2) that infect these organisms. CRISPR loci contain a series of repetitive sequences intercalated with short sequences derived from invading viruses and plasmids (3–5). These short sequences, called spacers, are acquired from the invader upon infection during an “immunizat...

Static analysers search for overapproximating proofs of safety commonly known as safety invariants. Fundamentally, such analysers summarise traces into sets of states, thus trading the ability to distinguish traces for computational tractability. Conversely, static bug finders (e.g. Bounded Model Checking) give evidence for the failure of an assertion in the form of a counterexample, which can ...