component in deductive format