give the tiniest possible motivation for these definitions to see whether it seems like enough