monoids given by generators and relations...