On the EKR-module property | Synapse