solved more backward chaining issues