When did gh become the authority on logic btw?