A collection of stuff related to necessity modals that might develop into a real project at some point