assumptions implemented