TODO

Backward Storing Rules Forward