Better functional specs for SEPA