User requirements: user_functionality(mail_reader). Configuring... Configuration 1: in(mail_reader_2) in(mail_transport_agent) Configuration 2: in(mail_extension) in(mail_reader_1) in(mail_transport_agent)