down is a type of quark.