As mentioned earlier, return `Some(b)` rather than `Some(SP)`.