coffee machine tcc model + closure of formula