inverse rule support