period_s(pendulum1, 2.0).
periodError_s(pendulum1, 0.0).
status(pendulum1, within_period_tolerance).
reason(pendulum1, "small-angle period matches the two-second target").