   "Finds the resource ID for the layout with the given name.  This is simply a
   convenient way of calling (resolve-resource context :layout name)."
   ([name]
-   {:pre  [within-with-context?
+   {:pre  [(within-with-context?)
            (resolvable? name)]
     :post [(integer? %)]}
    (resolve-layout name *context*))

  be an integer ID or a keyword name for the desired layout.  If within a
  with-context form, the context may be omitted."
  ([id-or-name]
   {:pre  [within-with-context?
           (resolvable? id-or-name)]
    :post [(instance? android.view.View %)]}
   (get-layout *context* id-or-name))

  If within a with-context form, the context parameter may be omitted."
  {:arglists '([context? id-or-name & args])}
  ([id-or-name]
   {:pre  [(within-with-context?)
           (resolvable? id-or-name)]
    :post [(string? %)]}
   (get-string *context* id-or-name))
  ([context id-or-name]
   {:pre  [(or (and (context? context)
                    (resolvable? id-or-name))
               (and (within-with-context?)
                    (resolvable? context)))]
    :post [(string? %)]}
   (if (instance? Context context)
