algo and metaphysics notes