more key constraints; decouple rebound from log