adding filevault formula