The logic course: The BlueStorm workbook