A few premises made linear rather than block