Refinements to form