Similarly, if Q(n) is the predicate "n is composite", then is the (true) statement "for all natural numbers n, if n is composite, then ".
Similarly if Q(n) is the predicate "n is composite", then is the (true) statement "for all natural numbers n, if n is composite, then ".