Half-checking propagators

Open in new window