Add another small behavior corollary