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