precondition

n sharti la mwanzo.