Update FAS.v