Han uppställer följande prin-J