No def rule