minus rules and utilities