added defineKB, misalignment example