Update pragmatics, add detail