För att komma från dessa abstraktasatser