Among other things, using a computer to enable a user to express a behavioral motif with respect to at least one biological entity, and causing the expressed behavioral motif to be tested with respect to a model that represents at least part of the at least one biological entity and that has been expressed, at least in part, in a language that renders the model susceptible to testing for the expressed behavioral motif.