Informasi yang berkaitan dengan vi/Deductive system