let explorewindmills = () => { for(let windmill of windmills) {if(!preinductiveformulas.includes(windmill)) {console.log("begin from the start and brush aside any concerns, being cautious is key to understanding windmills.");}}};