Abstraction_principle_(law) loading ...