commented out forward-rules