formal study