Partial results for boolean module