Back to the commons

More principles from Ibrahim