Add in tests for inverse and counting