basic logic module for specs