verified business model with unit testing