defcong and board
3.2.3.92a from CAF