Should be complete (no guards)