Statist Logic.