An overview of interpretability logic by A. Visser