FormulateWithBRAS