using forward chaining (like rest of the project)