   ([context id-or-name & args]
    {:pre  [(or (and (context? context)
                     (resolvable? id-or-name))
-               (and within-with-context?
+               (and (within-with-context?)
                     (resolvable? context)))]
     :post [(string? %)]}
    (if (instance? Context 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))

  :layout-inflater for the layout inflater service.  If within a with-context
  form, the context may be omitted."
  ([type]
   {:pre [(within-with-context?)]}
   (get-system-service *context* type))
  ([^Context context type]
   {:pre [(keyword? type)
