shorter default rule