Preconditions

constructor()