give default definitions for star and plus in terms of each other