Modal consistency.