Simpler statement.