rewriten as class