Injection and discriminate are ok up to a certain point (only variables)