added some auxiliar rules to block