Higher Logic Resources