Nigeria election 2023: Has Buhari tackled Boko Haram threat?

President Buhari vowed to defeat Boko Haram when elected in 2015. Is north-east Nigeria safe now?