ABox: