clause should use less memory and stuff