checkpoint before Logic construction stuff