Few bits and peices from CPDT