Examples crammed into right format