FEAT: all rules now use rule [][] instead of use [][[]]