Implementation Examples TODO: Add examples of how to implement the methods in practice after checks have been added.