implemented always and never