Paul Akers and his interpreter explain the BI Group Dojo. What an excellent opportunity to learn Lean.