Assumptions of grand logics door Feibleman