Idealism Part 1: Berkeley and Kant