scheme helpers for complementation rules so far