Lesson5 5 on The Why Theory Solver. The Why Theory Solver manages 3 data types including subscriptions.