Drop dependency on non-empty
Make aable formula more interesting