Half-checking propagators