mixin, default precept