laid down the law in contrib/