test forward rules and stuff