Implement facts