Add disobedience default; refine style