Credences for strict conditionals | Synapse