--- requires: - Mutable State