Inferring (1)