space in pred definition