some preliminaries; CTPL added