: abstractions: no.3