Title: Interactive logic laboratory