Type 0 conditionals express something that is always true (a general law).
Type 1 conditionals express something that will be true in the future (a specific situation)