trying to implement algebras with unknown operations and relations