Implementation without contracts