Adding def of algebra fibrations.