base F++F++F rule F F-F++F-F