IMPLICIT: apply default rules, tests