Review of "Standefer, Shawn, Proof theory for functional modal logic. Studia Logica 106 (2018), no. 1, 49–84"