Matias - good catch! I'll fix those. Also, \\(g(b∧g′)\\) should be \\(g(b∧b′)\\).