Very Advanced Logic Systems