consistency & pseudocode