Identifying meaningful information is a key challenge to disciplines from biology to artificial intelligence. Researchers now propose a broadly applicable, fully formal definition for this kind of semantic information.