Goes together with the MR for Boole: Boole!62 (merged)
Contributors: @jwishahi @vibellee @pluca @jvantilb @sesen